3201. Using Ambient Signal Modalities for Ubiquitous Sensing
Author: Hampapur Venkatnarayan, Raghav
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science
3202. Using Ambient Signal Modalities for Ubiquitous Sensing
Author: Hampapur Venkatnarayan, Raghav
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science
3203. Using Toolpack Software Tools :
Author: edited by A.A. Pollicini.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Programming languages (Electronic computers),Software engineering.
Classification :
QA76
.
95
E358
1989
3204. Using games and simulations for teaching and assessment :
Author: edited by Harold F. O'Neil, Eva L. Baker, Ray S. Perez.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Education-- Simulation methods.,Educational games.,Educational tests and measurements.,Education-- Simulation methods.,Educational games.,Educational tests and measurements.,SPORTS & RECREATION-- General.
Classification :
LB1029
.
G3
U748
2016
3205. Using the Frechet derivative to improve Arnoldi's method
Author: H.-A. Sun
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Applied sciences,Computer science,Mathematics,Mathematics,Pure sciences
3206. Using the engineering literature /
Author: edited by Bonnie A. Osif.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering-- Computer network resources.,Technical literature.,Documentation technique.,Ingénierie-- Information électronique.,Engineering-- Computer network resources.,Technical literature.
Classification :
T10
.
7
.
U85
2006
3207. Utility computing technologies, standards, and strategies /
Author: Alfredo Mendoza.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic data processing-- Distributed processing.,Information technology-- Management.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Electronic data processing-- Distributed processing.,Information technology-- Management.
Classification :
HD30
.
2
.
M456
2007eb
3208. Utilizing information technology systems across disciplines :
Author: Evon M.O. Abu-Taieh, Asim A. El-Sheikh, Jeihan Abu-Tayeh, [editors].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Information resources management.,Information technology.,Management information systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information resources management.,Information technology.,Management information systems.
Classification :
T58
.
5
.
U88
2009eb
3209. VHDL-2008 :
Author: Peter J. Ashenden, Jim Lewis.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: VHDL (Computer hardware description language),COMPUTERS-- Computer Engineering.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Machine Theory.,VHDL (Computer hardware description language),VHDL (Computer hardware description language)
Classification :
TK7885
.
7
.
A846
2008eb
3210. VLSI - Compatible Implementations for Artificial Neural Networks
Author: by Sied Mehdi Fakhraie, Kenneth Carless Smith.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Engineering.,Systems engineering.
3211. VR, simulations and serious games for education /
Author: editors: Yiyu Cai, Wouter van Joolingen and Zachary Walker.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer games, Congresses.,Educational games.,Virtual reality in education-- Research, Congresses.,3D graphics & modelling.,Artificial intelligence.,Computer games.,EDUCATION-- Administration-- General.,EDUCATION-- Organizations & Institutions.,Educational equipment & technology, computer-aided learning (Calif.),Educational games.,User interface design & usability.
Classification :
LB1044
.
87
3212. Vacation queueing models :
Author: Naishou Tian, Zhe George Zhang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Queuing theory.,Affaires.,Economie de l'entreprise.,Queuing theory.,Queuing theory.,Science économique.
Classification :
T57
.
9
.
T49
2006eb
3213. Valuing wind generation on integrated power systems /
Author: Ken Dragoon.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Wind power-- Costs.,Wind power-- Valuation.,Wind power.,Online-Ressource,Wind power-- Costs.,Wind power.,Wind power.
Classification :
TJ820
.
D73
2010eb
3214. Variable neighborhood search :
Author: Angelo Sifaleras, Said Salhi, Jack Brimberg (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Traveling salesman problem, Congresses.,Traveling salesman problem.
Classification :
QA402
.
5
3215. Variable neighborhood search :
Author: Nenad Mladenovic, Andrei Sleptchenko, Angelo Sifaleras, Mohammed Omar (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial optimization-- Data processing, Congresses.,Heuristic algorithms, Congresses.,Combinatorial optimization-- Data processing.,Heuristic algorithms.
Classification :
QA402
.
5
3216. Variation Principle in Informational Macrodynamics
Author: by Vladimir S. Lerner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer industry.,Computer science.,Electronic data processing.,Information theory.,Systems theory.
3217. Verification and evaluation of computer and communication systems :
Author: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
Classification :
TK5105
.
5
3218. Verification, model checking, and abstract interpretatio
Author: / Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programs--Verification--Congresses
3219. Verification, model checking, and abstract interpretatio
Author: / Gilles Barthe, Manuel Hermenegildo (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programs--Verification--Congresses
Classification :
QA
,
76
.
76
,.
V47
3220. Verification, model checking, and abstract interpretation
Author: / Byron Cook, Andreas Podelski (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programs--Verification--Congresses
Classification :
QA
,
76
.
76
,.
V47
,
V53
,
2007
